SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets -draft-

This paper presents a MATLAB embedded package for hybrid Petri nets called SimHPN . It offers a collection of tools devoted to simulation, analysis and synthesis of dynamical systems modeled by hybrid Petri nets. The package supports several server semantics for the firing of both, discrete and continuous, types of transitions. Besides providing different simulation options, SimHPN offers the possibility of computing steady state throughput bounds for continuous nets. For such a class of nets, optimal control and observability algorithms are also implemented. The package is fully integrated in MATLAB what allows the creation of powerful algebraic, statistical and graphical instruments that exploit the routines available in MATLAB. Published as: J. Julvez, C. Mahulea, and C.R. Vazquez, “SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets,” Nonlinear Analysis: Hybrid Systems, vol. 6, no. 2, pp. 806-817, May 2012. DOI: http://doi.org/ 10.1016/j.nahs.2011.10.001 ∗The authors are with The Aragón Institute for Engineering Research (I3A), University of Zaragoza, Maria de Luna 1, 50018 Zaragoza, Spain. E-mail: {julvez,cmahulea,cvazquez}@unizar.es. This work has been partially supported by the European Community’s Seventh Framework Programme under project DISC (Grant Agreement n. INFSO-ICT-224498), by CICYT FEDER grants DPI2010-20413 and TIN2007-66523 and by Fundación Aragón I+D.